package telin;

/**
*
* @author Telematica Instituut, Christian Wartena
*/

public class Choicepoint {
  private int tokIdx;
  private FSMState state;
  
  Choicepoint(int tokIdx, FSMState state) {
    this.tokIdx = tokIdx;
    this.state = state;
  }
  
  Choicepoint(FSMState state) {
    tokIdx = -1; //same Token; difference in space only
    this.state = state;
  }

  public FSMState getState() {
    return state;
  }

  public int getTokIdx() {
    return tokIdx;
  }
  
}
